WellFnd\{i\}($\mathbb{N}$;$x$,$y$.$x$ $<$ $y$)